Modeling and Verification of Judicial Workflows
نویسندگان
چکیده
As a consequence of the European integration process, EU member states increasingly have to cooperate with foreign authorities, for instance to serve a claim, to execute a judgment or to arrest a suspect. These procedures necessitate firstly the knowledge of the respective parts of the foreign law and secondly communication with the authorities involved in the given case. The large number of differing legal systems in Europe implies that the vast majority of legal experts does not possess the relevant specialized knowledge.
منابع مشابه
Verifying the Logical Termination of Workflows
Systems and infrastructures are currently being developed to support e-commerce activities. Workflow management systems and workflows are one of the strong technological candidates to deploy and support e-commerce applications. E-commerce workflows require a precise modeling to ensure that they perform according to initial specifications. Important advancements have been accomplished in the dev...
متن کاملFrom Enabling to Ensuring Grid Workflows
Grid workflows are becoming a mainstream paradigm for implementing complex grid applications. In addition to existing grid enabling techniques, various grid ensuring techniques are emerging, e.g. workflow analysis and temporal reasoning, to probe potential pitfalls and errors and guarantee quality of services (QoS) at a design phase. A new state π calculus is proposed in this work, which not on...
متن کاملOn verification of nested workflows with extra constraints: From theory to practice
Workflows are used to formally describe processes of various types such as business and manufacturing processes. One of the critical tasks of workflow management is automated discovery of possible flaws in the workflow – workflow verification. In this paper, we formalize the problem of workflow verification as the problem of verifying that there exists a feasible process for each task in the wo...
متن کاملSimplifying Verification of Nested Workflows with Extra Constraints
Workflow verification is an important aspect of workflow modeling where the verification task is to ensure that the workflow describes feasible processes. It has been shown that verifying nested workflows with extra precedence, causal, and temporal synchronization constraints is an NPcomplete problem and a verification method based on constraint satisfaction has been proposed. This paper theore...
متن کاملOn Correctness Issues in Conceptual Modelling of Workflows
The conceptual modeling of workflows is the first, and arguably the most important, step towards understanding business processes. A well-defined workflow conceptual model leads to the development of an effective and reliable workflow application. This paper presents a graphical modeling technique for workflows. We introduce four graphical modeling objects: task, condition, synchronizer, and fl...
متن کامل